C data types

Results: 2337



#Item
221Computer programming / Data types / Call stack / Stack / Model checking / Pointer / Temporal logic of actions / Final / Software engineering / Computing / Subroutines

Specifying and Verifying Concurrent C Programs with TLA+ Amira Methni1,4(B) , Matthieu Lemerre2 , Belgacem Ben Hedia1 , Serge Haddad3 , and Kamel Barkaoui4 1

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

Language: English - Date: 2015-05-28 08:33:18
222Software bugs / Data types / Primitive types / Memory management / Pointer / C / Memory safety / Stack machine / Type safety / Software engineering / Computing / Computer programming

Portable Software Fault Isolation Joshua A. Kroll Computer Science Department Princeton University Princeton, NJ

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2014-05-13 12:55:36
223Computer arithmetic / Data types / Primitive types / C++ / Arrays / Lookup table / C / Floating point / Unix / Computing / Computer programming / Software engineering

15-213, Fall 20xx Data Lab: Manipulating Bits Assigned: Aug. 30, Due: Wed., Sept. 12, 11:59PM Harry Bovik () is the lead person for this assignment.

Add to Reading List

Source URL: csapp.cs.cmu.edu

Language: English - Date: 2014-09-16 14:34:56
224C++ / Search algorithms / Data types / Golden Nugget Las Vegas / Binary search algorithm / Pointer / C++ classes / String / C / Computing / Computer programming / Software engineering

Table of Contents - 1 Table of Contents Some of the numbered lessons below are marked with an asterisk (*). This indicates they are subjects not covered by the AP A test. All other lessons have at least “potential rel

Add to Reading List

Source URL: www.bluepelicanjava.com

Language: English - Date: 2013-07-12 16:05:34
225C programming language / Data types / Procedural programming languages / Cross-platform software / Source code / Pointer / C / Macro / Recursion / Computing / Computer programming / Software engineering

Notes on Data Structures and Programming Techniques (CPSC 223, SpringJames Aspnes29T08:59:Contents

Add to Reading List

Source URL: cs.yale.edu

Language: English - Date: 2015-04-29 08:59:52
226Memory management / Cross-platform software / Data types / Primitive types / C++ / Garbage collection / C dynamic memory allocation / C / Garbage / Computing / Software engineering / Computer programming

Chameleon: Adaptive Selection of Collections Ohad Shacham Martin Vechev Eran Yahav

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2009-03-31 08:21:52
227Cross-platform software / Program analysis / Procedural programming languages / Scripting languages / Data types / PHP / Type system / Eval / C / Computing / Software engineering / Computer programming

Phantm: PHP Analyzer for Type Mismatch

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2010-11-10 10:57:45
228Procedural programming languages / Data types / Fortran / Primitive types / Computer arithmetic / PL/I / MAD / Conditional / C / Computing / Software engineering / Computer programming

A Summary of Fortran Nelson H. F. Beebe Center for Scientific Computing Department of Mathematics University of Utah Salt Lake City, UT 84112

Add to Reading List

Source URL: www.math.utah.edu

Language: English - Date: 2001-09-19 07:40:38
229Software engineering / Data types / Smart pointer / C++ classes / Pointer / String / Reference / Sequence container / Delete / C++ / Computer programming / Computing

Doc No: Date: Reply to: N1837=27

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2005-06-27 03:03:48
230Computer programming / Type theory / Cross-platform software / Procedural programming languages / PHP programming language / Type system / C / Pointer / PHP / Computing / Software engineering / Data types

Runtime Instrumentation for Precise Flow-Sensitive Type Analysis

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2010-08-17 17:02:57
UPDATE